Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·6h·
Discuss: DEV
SMT Applications
Beating the L1 cache with value speculation (2021)
mazzo.li·10h·
Discuss: Lobsters
CPU Microarchitecture
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.org·22h
⚛️Quantum Compilers
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·20h
📏Code Metrics
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🧪Property-Based Testing
Why Reactive Programming Hasn't Taken Off in Python (and Why Signals)
bui.app·1d·
Algebraic Effects
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·19h
⬆️Lambda Lifting
Three important things to get right for successful AI Coding
kau.sh·1d
Proof Automation
Adventures on the AI Coding side of things
medium.com·18h·
Discuss: Hacker News
🌍Cultural Algorithms
Cactus Language • Semantics 1
inquiryintoinquiry.com·10h
🔢Denotational Semantics
Design Principle: Composable Services
sleepingpotato.com·13h·
Discuss: Hacker News
gRPC
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
🔗Functional Compilers
Is Odin Just a More Boring C?
dayvster.com·15h·
Discuss: Hacker News
🔩Systems Programming
Higher-Level Design Patterns
qouteall.fun·3d·
Discuss: Hacker News
Algebraic Effects
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·1h·
Discuss: Substack
🔩Systems Programming
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·10h·
Discuss: Hacker News
💻Local LLMs
Callbacks in C++ Using Template Functors – Rich Hickey (1994)
tutok.sk·1d·
Algebraic Effects
I'm Building a Browser for Reverse Engineers
nullpt.rs·1d·
🛡️WASM Sandboxing
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity